Specification of PSIDE
نویسندگان
چکیده
PSIDE is a code for solving implicit differential equations on parallel computers. It is an implementation of the four-stage Radau IIA method. The nonlinear systems are solved by a modified Newton process, in which every Newton iterate itself is computed by an iteration process. This process is constructed such that the four stage values can be computed simultaneously. We describe here how PSIDE is set up as a modular system and what control strategies have been chosen. 1991 Mathematics Subject Classification: Primary: 65-04, Secondary: 65L05, 65Y05. 1991 Computing Reviews Classification System: G.1.7, G.4.
منابع مشابه
A model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کاملThe Value of Panoramic Radiography in Gender Specification of Edentulous Iranian Population
Introduction: gender specification among the forensic dentistry and human anthropology, is mainly based on anatomic variations. Due to racial differences and environmental factors such as time of tooth extraction, osteoporosis, dietary habits, usage of dental prosthetics and periodontal diseases, there will be different results achieved. The purpose of this study is to classify the gender speci...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملDetermination of Relationship between Autoignition of Sponge Iron and Specification of the Iron Ores
Sponge iron (DRI) due to the high surface area, often shows a high tendency to re-oxidation and at some cases spontaneous combustion (autoignition). In this work, re-oxidation behavior and autoignition of sponge iron, produced from different types of iron ore has been investigated. Isothermal and non-isothermal re-oxidation experiments were carried out on each type of DRI and their autoignition...
متن کاملDetermination of Relationship between Autoignition of Sponge Iron and Specification of the Iron Ores
Sponge iron (DRI) due to the high surface area, often shows a high tendency to re-oxidation and at some cases spontaneous combustion (autoignition). In this work, re-oxidation behavior and autoignition of sponge iron, produced from different types of iron ore has been investigated. Isothermal and non-isothermal re-oxidation experiments were carried out on each type of DRI and their autoignition...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998